<html>
<head><meta charset="utf-8"><title>min const subset charter · t-lang · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/index.html">t-lang</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/min.20const.20subset.20charter.html">min const subset charter</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="205289884"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/min%20const%20subset%20charter/near/205289884" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/min.20const.20subset.20charter.html#205289884">(Jul 28 2020 at 20:56)</a>:</h4>
<p>That reminds me, <span class="user-mention" data-user-id="216206">@lcnr</span>, we had talked about forming a "minimum const generics subset" project. We had the meeting, I think everybody is in favor, do you want to open a charter PR <a href="https://github.com/rust-lang/lang-team/blob/master/projects/template.md">with this template</a>? I guess a valid question is who is going to be the liaison -- I'm not sure if <span class="user-mention" data-user-id="256759">@boats</span> wants to do that or not. (In particular, I'm not sure if they have the time for that role.) But it seems like we should be able to find somebody for that. :P</p>



<a name="205291636"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/min%20const%20subset%20charter/near/205291636" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/min.20const.20subset.20charter.html#205291636">(Jul 28 2020 at 21:14)</a>:</h4>
<p>er well I guess there is the compiler team MCP</p>



<a name="205291670"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/min%20const%20subset%20charter/near/205291670" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/min.20const.20subset.20charter.html#205291670">(Jul 28 2020 at 21:14)</a>:</h4>
<p>I can just turn that into a charter presumabl</p>



<a name="205296261"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/min%20const%20subset%20charter/near/205296261" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lcnr <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/min.20const.20subset.20charter.html#205296261">(Jul 28 2020 at 22:05)</a>:</h4>
<p>can look into this tomorrow.</p>



<a name="205332806"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/min%20const%20subset%20charter/near/205332806" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lcnr <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/min.20const.20subset.20charter.html#205332806">(Jul 29 2020 at 09:08)</a>:</h4>
<p>do we want to resolve that project group once <code>min_const_generics</code> is stable?</p>



<a name="205333045"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/min%20const%20subset%20charter/near/205333045" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lcnr <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/min.20const.20subset.20charter.html#205333045">(Jul 29 2020 at 09:11)</a>:</h4>
<p>A lot of the more interesting const generics stuff ends up being somewhat tightly coupled to the const-eval wg, so it might be enough to put the relevant resources there</p>



<a name="205383749"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/min%20const%20subset%20charter/near/205383749" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/min.20const.20subset.20charter.html#205383749">(Jul 29 2020 at 16:59)</a>:</h4>
<p>well</p>



<a name="205383764"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/min%20const%20subset%20charter/near/205383764" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/min.20const.20subset.20charter.html#205383764">(Jul 29 2020 at 16:59)</a>:</h4>
<p>I feel like we should declare this as a distinct project</p>



<a name="205383770"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/min%20const%20subset%20charter/near/205383770" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/min.20const.20subset.20charter.html#205383770">(Jul 29 2020 at 16:59)</a>:</h4>
<p>it has a narrow scope and I'd like to be able to keep tabs on it</p>



<a name="205383777"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/min%20const%20subset%20charter/near/205383777" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/min.20const.20subset.20charter.html#205383777">(Jul 29 2020 at 16:59)</a>:</h4>
<p>but I would hope that many folks from const-eval would be involved</p>



<a name="205383817"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/min%20const%20subset%20charter/near/205383817" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/min.20const.20subset.20charter.html#205383817">(Jul 29 2020 at 16:59)</a>:</h4>
<p>don't worry too much about charter I think, it's not meant to be a "huge document", I think <span class="user-mention" data-user-id="256759">@boats</span> already laid out the outlines and arguments (and I can try to draft something up if you prefer)</p>



<a name="205385951"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/min%20const%20subset%20charter/near/205385951" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lcnr <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/min.20const.20subset.20charter.html#205385951">(Jul 29 2020 at 17:17)</a>:</h4>
<blockquote>
<p>I feel like we should declare this as a distinct project</p>
</blockquote>
<p>What does "this" mean here, <code>min_const_generics</code> or <code>const_generics</code> as a whole?</p>



<a name="205394946"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/min%20const%20subset%20charter/near/205394946" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/min.20const.20subset.20charter.html#205394946">(Jul 29 2020 at 18:26)</a>:</h4>
<p><span class="user-mention" data-user-id="216206">@lcnr</span> <code>min_const_generics</code> specifically</p>



<a name="205394958"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/min%20const%20subset%20charter/near/205394958" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/min.20const.20subset.20charter.html#205394958">(Jul 29 2020 at 18:26)</a>:</h4>
<p>is what I meant</p>



<a name="205394992"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/min%20const%20subset%20charter/near/205394992" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/min.20const.20subset.20charter.html#205394992">(Jul 29 2020 at 18:26)</a>:</h4>
<p>(but maybe const-generics as a whole might be better..?)</p>



<a name="205395049"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/min%20const%20subset%20charter/near/205395049" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/min.20const.20subset.20charter.html#205395049">(Jul 29 2020 at 18:27)</a>:</h4>
<p>I guess maybe the point is that min-const-generics doesn't need much <em>work</em> remaining, more just "validation" that we are happy with this subset?</p>



<a name="205395064"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/min%20const%20subset%20charter/near/205395064" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/min.20const.20subset.20charter.html#205395064">(Jul 29 2020 at 18:27)</a>:</h4>
<p>I think before making that decision I would find it valuable to attempt that rustc lecture series discussion we were talking about</p>



<a name="205395092"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/min%20const%20subset%20charter/near/205395092" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lcnr <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/min.20const.20subset.20charter.html#205395092">(Jul 29 2020 at 18:27)</a>:</h4>
<p><code>min_const_generics</code> is fairly done</p>



<a name="205395109"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/min%20const%20subset%20charter/near/205395109" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/min.20const.20subset.20charter.html#205395109">(Jul 29 2020 at 18:27)</a>:</h4>
<p>I'm not 100% convinced</p>



<a name="205395134"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/min%20const%20subset%20charter/near/205395134" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/min.20const.20subset.20charter.html#205395134">(Jul 29 2020 at 18:27)</a>:</h4>
<p>I guess because of things like this "const wellformedness" discussion</p>



<a name="205395149"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/min%20const%20subset%20charter/near/205395149" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/min.20const.20subset.20charter.html#205395149">(Jul 29 2020 at 18:28)</a>:</h4>
<p>but also impl questions around normalization</p>



<a name="205395190"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/min%20const%20subset%20charter/near/205395190" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/min.20const.20subset.20charter.html#205395190">(Jul 29 2020 at 18:28)</a>:</h4>
<p>I guess I'm 99% convinced :)</p>



<a name="205395246"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/min%20const%20subset%20charter/near/205395246" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/min.20const.20subset.20charter.html#205395246">(Jul 29 2020 at 18:28)</a>:</h4>
<p>I guess that making a const-generics project group, with stabilizing min-const-generics as the first roadmap item, seems fine and probably correct</p>



<a name="205395249"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/min%20const%20subset%20charter/near/205395249" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lcnr <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/min.20const.20subset.20charter.html#205395249">(Jul 29 2020 at 18:28)</a>:</h4>
<p>I still have some concerns which pretty much are "oh no, will this cause backwards compat problems for the rest of const generics"</p>



<a name="205395270"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/min%20const%20subset%20charter/near/205395270" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/min.20const.20subset.20charter.html#205395270">(Jul 29 2020 at 18:28)</a>:</h4>
<p>right, that's what I'm talking about :)</p>



<a name="205395286"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/min%20const%20subset%20charter/near/205395286" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lcnr <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/min.20const.20subset.20charter.html#205395286">(Jul 29 2020 at 18:28)</a>:</h4>
<p>i.e. const wf and lazy norm</p>



<a name="205395292"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/min%20const%20subset%20charter/near/205395292" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lcnr <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/min.20const.20subset.20charter.html#205395292">(Jul 29 2020 at 18:28)</a>:</h4>
<p><span aria-label="thumbs up" class="emoji emoji-1f44d" role="img" title="thumbs up">:thumbs_up:</span></p>



<a name="205395343"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/min%20const%20subset%20charter/near/205395343" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lcnr <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/min.20const.20subset.20charter.html#205395343">(Jul 29 2020 at 18:29)</a>:</h4>
<p><span class="user-mention silent" data-user-id="116009">nikomatsakis</span> <a href="#narrow/stream/213817-t-lang/topic/min.20const.20subset.20charter/near/205395246">said</a>:</p>
<blockquote>
<p>I guess that making a const-generics project group, with stabilizing min-const-generics as the first roadmap item, seems fine and probably correct</p>
</blockquote>
<p>that seems good to me</p>



<a name="205395740"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/min%20const%20subset%20charter/near/205395740" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lcnr <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/min.20const.20subset.20charter.html#205395740">(Jul 29 2020 at 18:32)</a>:</h4>
<p><span class="user-mention silent" data-user-id="116009">nikomatsakis</span> <a href="#narrow/stream/213817-t-lang/topic/min.20const.20subset.20charter/near/205395064">said</a>:</p>
<blockquote>
<p>I think before making that decision I would find it valuable to attempt that rustc lecture series discussion we were talking about</p>
</blockquote>
<p>I should pretty much always have time for this</p>



<a name="205395755"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/min%20const%20subset%20charter/near/205395755" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lcnr <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/min.20const.20subset.20charter.html#205395755">(Jul 29 2020 at 18:32)</a>:</h4>
<p>mostly <span aria-label="sweat smile" class="emoji emoji-1f605" role="img" title="sweat smile">:sweat_smile:</span></p>



<a name="205407568"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/min%20const%20subset%20charter/near/205407568" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lcnr <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/min.20const.20subset.20charter.html#205407568">(Jul 29 2020 at 20:11)</a>:</h4>
<p>opened <a href="https://github.com/rust-lang/lang-team/pull/42">https://github.com/rust-lang/lang-team/pull/42</a> for now</p>



<a name="205408941"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/min%20const%20subset%20charter/near/205408941" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lcnr <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/min.20const.20subset.20charter.html#205408941">(Jul 29 2020 at 20:23)</a>:</h4>
<p>ah, it should be an issue instead of a PR</p>



<a name="205408951"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/min%20const%20subset%20charter/near/205408951" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lcnr <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/min.20const.20subset.20charter.html#205408951">(Jul 29 2020 at 20:23)</a>:</h4>
<p>ok</p>



<a name="205409369"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/min%20const%20subset%20charter/near/205409369" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lcnr <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/min.20const.20subset.20charter.html#205409369">(Jul 29 2020 at 20:26)</a>:</h4>
<p>looks like I am mostly confused rn :/ <span class="user-mention" data-user-id="116009">@nikomatsakis</span> can you take this over? I don't feel productive doing this myself.</p>



<a name="205524907"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/min%20const%20subset%20charter/near/205524907" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/min.20const.20subset.20charter.html#205524907">(Jul 30 2020 at 19:56)</a>:</h4>
<p><span class="user-mention" data-user-id="216206">@lcnr</span> thanks!</p>



<a name="205563508"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/min%20const%20subset%20charter/near/205563508" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Lokathor <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/min.20const.20subset.20charter.html#205563508">(Jul 31 2020 at 07:03)</a>:</h4>
<p>(deleted)</p>



<a name="208657915"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/min%20const%20subset%20charter/near/208657915" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lcnr <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/min.20const.20subset.20charter.html#208657915">(Sep 01 2020 at 08:24)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> what are the next steps for <a href="https://github.com/rust-lang/lang-team/pull/42">https://github.com/rust-lang/lang-team/pull/42</a> ?</p>



<a name="208949631"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/min%20const%20subset%20charter/near/208949631" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/min.20const.20subset.20charter.html#208949631">(Sep 03 2020 at 10:57)</a>:</h4>
<p>Oh, it merged, duh!</p>



<a name="208949641"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/min%20const%20subset%20charter/near/208949641" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/min.20const.20subset.20charter.html#208949641">(Sep 03 2020 at 10:57)</a>:</h4>
<p>I'll handle it <span class="user-mention" data-user-id="216206">@lcnr</span> thanks for raising it.</p>



<a name="208949693"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/min%20const%20subset%20charter/near/208949693" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/min.20const.20subset.20charter.html#208949693">(Sep 03 2020 at 10:58)</a>:</h4>
<p>I think though the plan is just to merge it and create a corresponding issue :)</p>



<a name="208949766"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/min%20const%20subset%20charter/near/208949766" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/min.20const.20subset.20charter.html#208949766">(Sep 03 2020 at 10:59)</a>:</h4>
<p>Is there a need for a coordination repository? (Does one exist?)</p>



<a name="208949777"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/min%20const%20subset%20charter/near/208949777" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/min.20const.20subset.20charter.html#208949777">(Sep 03 2020 at 10:59)</a>:</h4>
<p>something like <a href="https://github.com/rust-lang/project-safe-transmute/">https://github.com/rust-lang/project-safe-transmute/</a></p>



<a name="208949808"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/min%20const%20subset%20charter/near/208949808" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/min.20const.20subset.20charter.html#208949808">(Sep 03 2020 at 10:59)</a>:</h4>
<p>also, Zulip stream?</p>



<a name="208949890"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/min%20const%20subset%20charter/near/208949890" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/min.20const.20subset.20charter.html#208949890">(Sep 03 2020 at 11:00)</a>:</h4>
<p>oh, and we need to decide on lead(s) and liaison(s) -- i.e., the people pushing this forward and keeping lang team in sync</p>



<a name="208949893"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/min%20const%20subset%20charter/near/208949893" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/min.20const.20subset.20charter.html#208949893">(Sep 03 2020 at 11:00)</a>:</h4>
<p>sigh!</p>



<a name="208949908"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/min%20const%20subset%20charter/near/208949908" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/min.20const.20subset.20charter.html#208949908">(Sep 03 2020 at 11:00)</a>:</h4>
<p>I'm going to make the issue but let's discuss :)</p>



<a name="208949992"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/min%20const%20subset%20charter/near/208949992" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/min.20const.20subset.20charter.html#208949992">(Sep 03 2020 at 11:01)</a>:</h4>
<p><a href="https://github.com/rust-lang/lang-team/issues/51">https://github.com/rust-lang/lang-team/issues/51</a></p>



<a name="208957271"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/min%20const%20subset%20charter/near/208957271" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lcnr <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/min.20const.20subset.20charter.html#208957271">(Sep 03 2020 at 12:15)</a>:</h4>
<p><span class="user-mention silent" data-user-id="116009">nikomatsakis</span> <a href="#narrow/stream/213817-t-lang/topic/min.20const.20subset.20charter/near/208949766">said</a>:</p>
<blockquote>
<p>Is there a need for a coordination repository? (Does one exist?)</p>
</blockquote>
<p>I think it would be nice to have</p>



<a name="209317371"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/min%20const%20subset%20charter/near/209317371" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> varkor <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/min.20const.20subset.20charter.html#209317371">(Sep 07 2020 at 17:54)</a>:</h4>
<p>I haven't been keeping up to date with everything that's been going on lately: there's been too much that's going on outside of Rust. It would be quite helpful, at least for me, to have a quick chat about exactly what needs to be done to get <code>min_const_generics</code> ready. Presumably one of the steps is to go through the <code>A-const-generics</code> issues and figure out which are blocking?</p>



<a name="209324608"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/min%20const%20subset%20charter/near/209324608" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lcnr <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/min.20const.20subset.20charter.html#209324608">(Sep 07 2020 at 20:02)</a>:</h4>
<p>To my knowledge, after my current PRs are merged, we probably want to actually forbid lt in anon consts (except repeat expressions) so that we don't ICE in <a href="https://github.com/rust-lang/rust/issues/75323">https://github.com/rust-lang/rust/issues/75323</a> and friends</p>



<a name="209324638"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/min%20const%20subset%20charter/near/209324638" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lcnr <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/min.20const.20subset.20charter.html#209324638">(Sep 07 2020 at 20:03)</a>:</h4>
<p>and then we can mostly start padding up the test suite and improving the docs/error messages</p>



<a name="209325075"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/min%20const%20subset%20charter/near/209325075" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lcnr <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/min.20const.20subset.20charter.html#209325075">(Sep 07 2020 at 20:12)</a>:</h4>
<p>re chat: while I don't have too much time rn, I am luckily able to choose when I am free, so I do think that's something we can and should do.</p>



<a name="209394633"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/min%20const%20subset%20charter/near/209394633" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> varkor <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/min.20const.20subset.20charter.html#209394633">(Sep 08 2020 at 14:33)</a>:</h4>
<p>Banning non-static lifetimes at least in <code>min_const_generics</code> seems like a good idea to me.</p>



<a name="209395173"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/min%20const%20subset%20charter/near/209395173" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> varkor <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/min.20const.20subset.20charter.html#209395173">(Sep 08 2020 at 14:37)</a>:</h4>
<p>Okay, I'm going to try to dedicate some time this weekend to surveying the current state of diagnostics and such, and try to get a better idea of where we are. After that, I should be a bit more up to date, and we can work out when to discuss in a bit more detail.</p>



<a name="209423693"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/min%20const%20subset%20charter/near/209423693" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> boats <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/min.20const.20subset.20charter.html#209423693">(Sep 08 2020 at 18:13)</a>:</h4>
<p><span class="user-mention silent" data-user-id="121053">varkor</span> <a href="#narrow/stream/213817-t-lang/topic/min.20const.20subset.20charter/near/209394633">said</a>:</p>
<blockquote>
<p>Banning non-static lifetimes at least in <code>min_const_generics</code> seems like a good idea to me.</p>
</blockquote>
<p>not sure what you mean, none of the types allowed in min_const_generics are lifetime parametric</p>



<a name="209423744"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/min%20const%20subset%20charter/near/209423744" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> boats <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/min.20const.20subset.20charter.html#209423744">(Sep 08 2020 at 18:13)</a>:</h4>
<p>oh clicked the issue. huh</p>



<a name="209899434"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/213817-t-lang/topic/min%20const%20subset%20charter/near/209899434" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> varkor <a href="https://rust-lang.github.io/zulip_archive/stream/213817-t-lang/topic/min.20const.20subset.20charter.html#209899434">(Sep 12 2020 at 20:52)</a>:</h4>
<p>I just had time today to catch up on notifications: planning to spend some of tomorrow actually doing the surveying.</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>